Localization in Abelian `-groups with strong unit, via MV-algebras
نویسندگان
چکیده
In this paper we explore the role of Perfect MV-algebras in localization issues. Further, via suitable functors we describe a localization process for abelian lattice ordered groups with strong unit from localization of MV-algebras.
منابع مشابه
MV-algebras: a variety for magnitudes with archimedean units
Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...
متن کاملExtending Chang’s construction to the category of m-zeroids and some category containing the category of Abelian `-groups with strong unit
In this note we prove that it is impossible to extend the natural equivalence between the category of MV-algebras and the category of Abelian `-groups with strong unit described by C. C. Chang, 1958, and Cignoli & Mundici, 1997, to a natural equivalence between the category of m-zeroids and some category containing the category of Abelian `-groups with strong unit.
متن کاملConvergence with a Fixed Regulator in Perfect Mv-algebras
MV-algebras were introduced by Chang as an algebraic counterpart of the Lukasiewicz infinite-valued logic. D. Mundici proved that the category of MV-algebras is equivalent to the category of abelian l-groups with strong unit. A. Di Nola and A. Lettieri established a categorical equivalence between the category of perfect MV-algebras and the category of abelian l-groups. In this paper we investi...
متن کاملThe Morita-equivalence between MV-algebras and abelian `-groups with strong unit
We show that the theory of MV-algebras is Morita-equivalent to that of abelian `-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-th...
متن کاملMorita-equivalences for Mv-algebras
We shall make a survey of the most recent results obtained in connection with the programme of investigating notable categorical equivalences for MV-algebras from a topos-theoretic perspective commenced in [3]. In [3] and [2] we generalize to a topos-theoretic setting two classical equivalences arising in the context of MV-algebras: Mundici’s equivalence [4] between the category of MV-algebras ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007